1. Formal Methods and Software Engineering
پدیدآورنده : \ edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science.,Computer networks.,Computer programming.,علوم کامپیوتر,شبکههای رایانه ای ,برنامهنویسی
رده :
QA75
.
5
.
F61
2015
E-Book
,
